Sourcebook on Contract Law 2/e
by Martin Davis, David Oughton
ISBN 13: 9781859415849
Format: Paperback (826 pages) Publisher: Routledge Cavendish Published: 14 Nov 2000
Save for later
Tonnau Tryweryn
by Martin Davis
ISBN 13: 9781847710765
Format: Paperback (272 pages) Publisher: Y Lolfa Published: 16 Oct 2008
Engines of Logic: Mathematicians and the Origin of the Computer
ISBN 13: 9780393322293
Format: Paperback (272 pages) Publisher: W. W. Norton & Co. Published: 31 Oct 2001
Cases and Materials on Housing Law (Cases & materials)
by David Hughes,Martin Davis,Veronica Matthew,Nicholas Smith
ISBN 13: 9781854319364
Format: Paperback (610 pages) Publisher: Blackstone Press Published: 02 Jan 2000
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
ISBN 13: 9780857298072
Format: Hardcover (433 pages) Publisher: Springer Published: 16 Jul 2011
Alan M. Turing: Centenary Edition
by Sara Turing
ISBN 13: 9781107020580
Format: Hardcover (194 pages) Publisher: Cambridge University Press Published: 22 Mar 2012
The Undecidable: Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions
ISBN 13: 9780486432281
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 01 Feb 2004
Applied Nonstandard Analysis
ISBN 13: 9780486442297
Format: Paperback (208 pages) Publisher: Dover Publications Inc. Published: 26 Jul 2005
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by Paul J Cohen,Martin Davis
ISBN 13: 9780486469218
Format: Illustrated (192 pages) Publisher: Dover Publications Inc. Published: 27 Feb 2009
The Universal Computer – The Road from Leibniz to Turing: The Road from Leibnitz to Turing
ISBN 13: 9780393047851
Format: Hardcover (270 pages) Publisher: W. W. Norton & Company Published: 17 Oct 2000
Computability and Unsolvability (Dover Books on Computer Science)
ISBN 13: 9780486614717
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jun 1983
Computability, Complexity, and Languages,: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
ISBN 13: 9780122063824
Format: Illustrated (609 pages) Publisher: Morgan Kaufmann Published: 18 Mar 1994